Optimal. Leaf size=58 \[ \frac {1}{3 \sqrt {x} (2-b x)^{3/2}}+\frac {2}{3 \sqrt {x} \sqrt {2-b x}}-\frac {2 \sqrt {2-b x}}{3 \sqrt {x}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.00, antiderivative size = 58, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 2, integrand size = 16, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.125, Rules used = {47, 37}
\begin {gather*} -\frac {2 \sqrt {2-b x}}{3 \sqrt {x}}+\frac {2}{3 \sqrt {x} \sqrt {2-b x}}+\frac {1}{3 \sqrt {x} (2-b x)^{3/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 37
Rule 47
Rubi steps
\begin {align*} \int \frac {1}{x^{3/2} (2-b x)^{5/2}} \, dx &=\frac {1}{3 \sqrt {x} (2-b x)^{3/2}}+\frac {2}{3} \int \frac {1}{x^{3/2} (2-b x)^{3/2}} \, dx\\ &=\frac {1}{3 \sqrt {x} (2-b x)^{3/2}}+\frac {2}{3 \sqrt {x} \sqrt {2-b x}}+\frac {2}{3} \int \frac {1}{x^{3/2} \sqrt {2-b x}} \, dx\\ &=\frac {1}{3 \sqrt {x} (2-b x)^{3/2}}+\frac {2}{3 \sqrt {x} \sqrt {2-b x}}-\frac {2 \sqrt {2-b x}}{3 \sqrt {x}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.09, size = 33, normalized size = 0.57 \begin {gather*} -\frac {3-6 b x+2 b^2 x^2}{3 \sqrt {x} (2-b x)^{3/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.13, size = 45, normalized size = 0.78
method | result | size |
gosper | \(-\frac {2 x^{2} b^{2}-6 b x +3}{3 \sqrt {x}\, \left (-b x +2\right )^{\frac {3}{2}}}\) | \(28\) |
meijerg | \(-\frac {\sqrt {2}\, \left (2 x^{2} b^{2}-6 b x +3\right )}{12 \sqrt {x}\, \left (-\frac {b x}{2}+1\right )^{\frac {3}{2}}}\) | \(31\) |
default | \(-\frac {1}{\left (-b x +2\right )^{\frac {3}{2}} \sqrt {x}}+2 b \left (\frac {\sqrt {x}}{3 \left (-b x +2\right )^{\frac {3}{2}}}+\frac {\sqrt {x}}{3 \sqrt {-b x +2}}\right )\) | \(45\) |
risch | \(\frac {\left (b x -2\right ) \sqrt {\left (-b x +2\right ) x}}{4 \sqrt {-x \left (b x -2\right )}\, \sqrt {x}\, \sqrt {-b x +2}}+\frac {b \left (5 b x -12\right ) \sqrt {x}\, \sqrt {\left (-b x +2\right ) x}}{12 \sqrt {-x \left (b x -2\right )}\, \left (b x -2\right ) \sqrt {-b x +2}}\) | \(87\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.27, size = 42, normalized size = 0.72 \begin {gather*} \frac {{\left (b^{2} - \frac {6 \, {\left (b x - 2\right )} b}{x}\right )} x^{\frac {3}{2}}}{12 \, {\left (-b x + 2\right )}^{\frac {3}{2}}} - \frac {\sqrt {-b x + 2}}{4 \, \sqrt {x}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 1.29, size = 46, normalized size = 0.79 \begin {gather*} -\frac {{\left (2 \, b^{2} x^{2} - 6 \, b x + 3\right )} \sqrt {-b x + 2} \sqrt {x}}{3 \, {\left (b^{2} x^{3} - 4 \, b x^{2} + 4 \, x\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [C] Result contains complex when optimal does not.
time = 2.20, size = 245, normalized size = 4.22 \begin {gather*} \begin {cases} - \frac {2 b^{\frac {13}{2}} x^{2} \sqrt {-1 + \frac {2}{b x}}}{3 b^{6} x^{2} - 12 b^{5} x + 12 b^{4}} + \frac {6 b^{\frac {11}{2}} x \sqrt {-1 + \frac {2}{b x}}}{3 b^{6} x^{2} - 12 b^{5} x + 12 b^{4}} - \frac {3 b^{\frac {9}{2}} \sqrt {-1 + \frac {2}{b x}}}{3 b^{6} x^{2} - 12 b^{5} x + 12 b^{4}} & \text {for}\: \frac {1}{\left |{b x}\right |} > \frac {1}{2} \\- \frac {2 i b^{\frac {13}{2}} x^{2} \sqrt {1 - \frac {2}{b x}}}{3 b^{6} x^{2} - 12 b^{5} x + 12 b^{4}} + \frac {6 i b^{\frac {11}{2}} x \sqrt {1 - \frac {2}{b x}}}{3 b^{6} x^{2} - 12 b^{5} x + 12 b^{4}} - \frac {3 i b^{\frac {9}{2}} \sqrt {1 - \frac {2}{b x}}}{3 b^{6} x^{2} - 12 b^{5} x + 12 b^{4}} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 170 vs.
\(2 (40) = 80\).
time = 2.46, size = 170, normalized size = 2.93 \begin {gather*} -\frac {\sqrt {-b x + 2} b^{2}}{4 \, \sqrt {{\left (b x - 2\right )} b + 2 \, b} {\left | b \right |}} - \frac {3 \, {\left (\sqrt {-b x + 2} \sqrt {-b} - \sqrt {{\left (b x - 2\right )} b + 2 \, b}\right )}^{4} \sqrt {-b} b^{2} - 24 \, {\left (\sqrt {-b x + 2} \sqrt {-b} - \sqrt {{\left (b x - 2\right )} b + 2 \, b}\right )}^{2} \sqrt {-b} b^{3} + 20 \, \sqrt {-b} b^{4}}{3 \, {\left ({\left (\sqrt {-b x + 2} \sqrt {-b} - \sqrt {{\left (b x - 2\right )} b + 2 \, b}\right )}^{2} - 2 \, b\right )}^{3} {\left | b \right |}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.37, size = 59, normalized size = 1.02 \begin {gather*} \frac {3\,\sqrt {2-b\,x}-6\,b\,x\,\sqrt {2-b\,x}+2\,b^2\,x^2\,\sqrt {2-b\,x}}{\sqrt {x}\,\left (x\,\left (12\,b-3\,b^2\,x\right )-12\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________